A Framework for Non-Monotonic Reasoning About Probabilistic Assumptions
نویسنده
چکیده
Attempts to replicate probabilistic reasoning in expert systems have typically overlooked a critical ingredient of that process. Probabilistic analysis typically requires extensive judgments regarding interdependencies among hypotheses and data, and regarding the appropriateness of various alternative models. The application of such models is often an iterative process, in which the plausibility of the results confirms or disconfirms the validity of assumptions made in building the model. In current expert systems, by contrast, probabilistic information is encapsulated within modular rules (involving, for example,"certainty factors"), and there is no mechanism for reviewing the overall form of the probability argument or the validity of the judgments entering into it.
منابع مشابه
Who Chooses the Assumptions?
In this paper we show how a number of diierent formulations of nonmonotonic reasoning, probabilistic reasoning and design can be combined into a coherent logic-based abductive framework. This framework is based on allowing consistent assumptions to be used to prove a goal. Diierent frameworks are characterised by who chooses the assumptions, whether an adversary chooses the assumptions, nature ...
متن کاملWho chooses the assumptions
In this paper we show how a number of di erent formulations of nonmonotonic reasoning probabilistic reasoning and design can be combined into a coherent logic based abductive framework This framework is based on allowing consistent assumptions to be used to prove a goal Di erent frameworks are characterised by who chooses the assumptions whether an adversary chooses the assumptions na ture choo...
متن کاملHybrid Probabilistic Logic Programs with Non-monotonic Negation
1 In [20], a new Hybrid Probabilistic Logic Programs framework is proposed, and a new semantics is developed to enable encoding and reasoning about real-world applications. In this paper, we extend the language of Hybrid Probabilistic Logic Programs framework in [20] to allow non-monotonic negation, and define two alternative semantics: stable probabilistic model semantics and probabilistic wel...
متن کاملNon-monotonic Negation in Hybrid Probabilistic Logic Programs
In [23], a new Hybrid Probabilistic Logic Programs framework has been proposed, and a new semantics has been developed to enable encoding and reasoning about real-world applications. In this paper, the language of Hybrid Probabilistic Logic Programs framework of [23] is extended to allow non-monotonic negation, and two alternative semantics are defined: stable probabilistic model semantics and ...
متن کاملAn Assumption-Based Framework for Non-Monotonic Reasoning
The notion of assumption-based framework generalises and reenes the use of abduction to give a formalisation of non-monotonic reasoning. In this framework, a sentence is a non-monotonic consequence of a theory if it can be derived monotonically from a theory extended by means of acceptable assumptions. The notion of acceptability for such assumptions is formulated in terms of their ability succ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- CoRR
دوره abs/1304.3426 شماره
صفحات -
تاریخ انتشار 2013